Elementary constructive theory of ordered fields
Identifieur interne : 00DA74 ( Main/Exploration ); précédent : 00DA73; suivant : 00DA75Elementary constructive theory of ordered fields
Auteurs : Henri Lombardi [France, États-Unis] ; Marie-Françoise Roy [France, États-Unis]Source :
- Progress in Mathematics
Abstract
Abstract: The classical theory of ordered fields (Artin-Schreier theory) makes intensive use of non-constructive methods, in particular of the axiom of choice. However since Tarski (and even since Sturm and Sylvester) one knows how to compute in the real closure of an ordered field K solely by computations in K. This apparent contradiction is solved in this paper.
Url:
DOI: 10.1007/978-1-4612-0441-1_17
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 003C56
- to stream Istex, to step Curation: 003C12
- to stream Istex, to step Checkpoint: 003141
- to stream Main, to step Merge: 00E352
- to stream Main, to step Curation: 00DA74
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Elementary constructive theory of ordered fields</title>
<author><name sortKey="Lombardi, Henri" sort="Lombardi, Henri" uniqKey="Lombardi H" first="Henri" last="Lombardi">Henri Lombardi</name>
</author>
<author><name sortKey="Roy, Marie Francoise" sort="Roy, Marie Francoise" uniqKey="Roy M" first="Marie-Françoise" last="Roy">Marie-Françoise Roy</name>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:FC79D43AC0857320A906559061C9E6480F31D35E</idno>
<date when="1991" year="1991">1991</date>
<idno type="doi">10.1007/978-1-4612-0441-1_17</idno>
<idno type="url">https://api.istex.fr/ark:/67375/HCB-RHL0ZCRL-8/fulltext.pdf</idno>
<idno type="wicri:Area/Istex/Corpus">003C56</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">003C56</idno>
<idno type="wicri:Area/Istex/Curation">003C12</idno>
<idno type="wicri:Area/Istex/Checkpoint">003141</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">003141</idno>
<idno type="wicri:Area/Main/Merge">00E352</idno>
<idno type="wicri:Area/Main/Curation">00DA74</idno>
<idno type="wicri:Area/Main/Exploration">00DA74</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Elementary constructive theory of ordered fields</title>
<author><name sortKey="Lombardi, Henri" sort="Lombardi, Henri" uniqKey="Lombardi H" first="Henri" last="Lombardi">Henri Lombardi</name>
<affiliation wicri:level="4"><country xml:lang="fr">France</country>
<wicri:regionArea>Mathématiques UFR des Sciences et Techniques, Université de Franche-Comté, 25 030, Besançon cédex</wicri:regionArea>
<orgName type="university">Université de Franche-Comté</orgName>
<placeName><settlement type="city" wicri:auto="siege">Besançon</settlement>
<region type="region" nuts="2">Franche-Comté</region>
</placeName>
</affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">États-Unis</country>
</affiliation>
</author>
<author><name sortKey="Roy, Marie Francoise" sort="Roy, Marie Francoise" uniqKey="Roy M" first="Marie-Françoise" last="Roy">Marie-Françoise Roy</name>
<affiliation wicri:level="1"><country xml:lang="fr">France</country>
<wicri:regionArea>IRMAR, Université de Rennes, 1 Campus de Beaulieu, 35 042, Rennes cedex</wicri:regionArea>
<wicri:noRegion>Rennes cedex</wicri:noRegion>
<wicri:noRegion>Rennes cedex</wicri:noRegion>
</affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">États-Unis</country>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="s" type="main" xml:lang="en">Progress in Mathematics</title>
</series>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass></textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Abstract: The classical theory of ordered fields (Artin-Schreier theory) makes intensive use of non-constructive methods, in particular of the axiom of choice. However since Tarski (and even since Sturm and Sylvester) one knows how to compute in the real closure of an ordered field K solely by computations in K. This apparent contradiction is solved in this paper.</div>
</front>
</TEI>
<affiliations><list><country><li>France</li>
<li>États-Unis</li>
</country>
<region><li>Franche-Comté</li>
</region>
<settlement><li>Besançon</li>
</settlement>
<orgName><li>Université de Franche-Comté</li>
</orgName>
</list>
<tree><country name="France"><region name="Franche-Comté"><name sortKey="Lombardi, Henri" sort="Lombardi, Henri" uniqKey="Lombardi H" first="Henri" last="Lombardi">Henri Lombardi</name>
</region>
<name sortKey="Roy, Marie Francoise" sort="Roy, Marie Francoise" uniqKey="Roy M" first="Marie-Françoise" last="Roy">Marie-Françoise Roy</name>
</country>
<country name="États-Unis"><noRegion><name sortKey="Lombardi, Henri" sort="Lombardi, Henri" uniqKey="Lombardi H" first="Henri" last="Lombardi">Henri Lombardi</name>
</noRegion>
<name sortKey="Roy, Marie Francoise" sort="Roy, Marie Francoise" uniqKey="Roy M" first="Marie-Françoise" last="Roy">Marie-Françoise Roy</name>
</country>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00DA74 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 00DA74 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Main |étape= Exploration |type= RBID |clé= ISTEX:FC79D43AC0857320A906559061C9E6480F31D35E |texte= Elementary constructive theory of ordered fields }}
This area was generated with Dilib version V0.6.33. |